#!/bin/bash

echo -D Trilinos_ENABLE_Rythmos:BOOL=$1
